Incremental Design of a Power TransformerStation

In this paper, we describe the incremental speciication of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy. Then, using algebraic techniques, the controller is automatically derived from these set of control objectives. In our case, the plant is speciied at a high level, using the data-ow synchronous Signal language and then by its logical abstraction, named polynomial dynamical system. The control objectives are speciied as invariance, reachability, attractivity properties, as well as partial order relations to be checked by the plant. The control objectives equations are then synthesized using algebraic transformations.